Machine Learning in Proof General: Interfacing Interfaces
نویسندگان
چکیده
We present ML4PG — a machine learning extension for Proof General. It allows users to gather proof statistics related to shapes of goals, sequences of applied tactics, and proof tree structures from the libraries of interactive higher-order proofs written in Coq and SSReflect. The gathered data is clustered using the state-of-the-art machine learning algorithms available in MATLAB and Weka. ML4PG provides automated interfacing between Proof General and MATLAB/Weka. The results of clustering are used by ML4PG to provide proof hints in the process of interactive proof development.
منابع مشابه
Machine Learning Techniques for Brain-computer Interfaces
This review discusses machine learning methods and their application to Brain-Computer Interfacing. A particular focus is placed on feature selection. We also point out common flaws when validating machine learning methods in the context of BCI. Finally we provide a brief overview on the Berlin-Brain Computer Interface (BBCI).
متن کاملBrain-computer Interfacing
Recently, CNN reported on the future of brain-computer interfaces (BCIs) [1]. Brain-computer interfaces are devices that process a user’s brain signals to allow direct communication and interaction with the environment. BCIs bypass the normal neuromuscular output pathways and rely on digital signal processing and machine learning to translate brain signals to action (Figure 1). Historically, BC...
متن کاملWhat will this do to me and my brain? Ethical issues in brain-to-brain interfacing
Recent brain-to-brain interfacing studies provide proof of principle for the feasibility of various forms of direct information transfer between two brains, and may lead to the development of new approaches involving memory, emotions, or senses. What makes brain-to-brain interfaces unique is the transfer of information representing specific messages directly from one brain to another, without i...
متن کاملBrain Computer Interfacing: State of the Art, Probabilistic Advances and Future Perspectives
Brain computer interface (BCI) research, carried out in our group, has focused on two aspects. In terms of signal processing, we focused on improving BCI performance by using advanced probabilistic machine learning approaches. On the other hand even the most advance signal processing can only recover information which is actually contained in the data. Hence a second central research direction ...
متن کاملBrain Imaging and Machine Learning for Brain-Computer Interface
Human-computer interfaces are in continuous development, from keyboard, mouse, touch screen, to voice dictation, gesture recognition, etc. The aim is to facilitate the interaction between the human brain and the resources offered by a machine or a computer. Recently, a wider interest has emerged in directly interfacing the brain and the computer. The development of methods that combine the nerv...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012